Books by author Marco Bernardo

Showing 1 – 15 out of 15 results

1. 

   Formal Methods for Quantitative Aspects of Programming Languages

   Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   56.14 €

   Buy
2. 

   Formal Methods for Hardware Verification

   Marco Bernardo, Alessandro Cimatti | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
3. 

   Formal Methods for Eternal Networked Software Systems

   Marco Bernardo, Valerie Issarny | Springer, Berlin, 2011

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   57.35 €

   Buy
4. 

   Formal Methods for Mobile Computing

   Marco Bernardo, Alessandro Bogliolo | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
5. 

   A Process Algebraic Approach to Software Architecture Design

   Alessandro Aldini, Marco Bernardo, Flavio Corradini | Springer, Berlin, 2009

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   55.93 €

   Buy
6. 

   Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

   Marco Bernardo, Rocco de Nicola, Jane Hillston | Springer International Publishing AG, 2016

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
7. 

   Formal Methods for Performance Evaluation

   Marco Bernardo, Jane Hillston | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
8. 

   Formal Methods for Model-Driven Engineering

   Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio | Springer, Berlin, 2012

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
9. 

   Formal Methods for Multicore Programming

   Marco Bernardo, Einar Broch Johnsen | Springer International Publishing AG, 2015

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
10. 

    Formal Methods for Software Architectures

    Marco Bernardo, Paola Inverardi | Springer, Berlin, 2003

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
11. 

    Computer Performance Engineering

    Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    Low in stock at our supplier - Shipping in 9 - 15 days

    Language: English

    Binding: Paperback

    56.14 €

    Buy
12. 

    Formal Methods for Computational Systems Biology

    Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
13. 

    Formal Methods for Executable Software Models

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
14. 

    Formal Methods for Dynamical Systems

    Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    51.07 €

    Buy
15. 

    Formal Methods for Web Services

    Marco Bernardo, Luca Padovani, Gianluigi Zavattaro | Springer, Berlin, 2009

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    59.58 €

    Sale 0 %

    You save 0.05 €

    Buy

Books can be collected at many points all over Slovakia. Find out more